Extension Proposal: Records in Pragmatic OpenMath
نویسنده
چکیده
I propose to extend the pragmatic syntax of OpenMath by records. Record structures are utilized ubiquitously for representing objects and accessing their components in programming, and we show that this is true for mathematical practice at the informal but rigorous level as well, even though at the formal level records can be reduced to tuples or partial functions. This situation makes records an ideal case study for an OpenMath language extension (OLE) proposed in a sibling paper.
منابع مشابه
Quantifiers and n-ary binders: an OpenMath standard enhancement proposal
It is proposed that the restriction in the OpenMath standard that an OMBIND element must have exactly three children should be lifted, to support more general binder symbols. The case of logics with generalised quantifiers is described in some detail, since these turn out to not have a natural encoding within OpenMath 2.0, because of precisely this restriction. That restricting quantifiers to a...
متن کاملOpenMath Language Extensions
We propose a language extension mechanism for OpenMath that will allow us to introduce new language features (as have been called for by the community) while keeping the underlying core language intact so that we can maintain compatibility with MathML3 and the upcoming ISO standard. We exhibit the mechanism on the example of extending OpenMath with sequences and discuss other language extensions.
متن کاملOn the relationship between OpenMath and MathML
OpenMath and MathML Bill Naylor Stephen Watt Ontario Resear h Center for Computer Algebra University of Western Ontario London Ontario CANADA N6A 5B7 fbill,wattg or a.on. a July 6, 2001 Abstra t MathML provides a rather omplete set of primitives for notational representation of mathemati s but only a limited set of primitives to des ribe the meaning of mathemati al expressions. OpenMath provide...
متن کاملThe eval Symbol for Axiomatising Variadic Functions
This paper describes (and constitutes the source for!) the proposed list4 OpenMath content dictionary. The main feature in this content dictionary is the eval symbol, which treats a list of values as the list of children of an application element. This may, among other things, be employed to state properties of variadic functions. 1 Background and motivation OpenMath is a formal language for (p...
متن کاملOpenMath Technology for Interactive Mathematical Documents
New technologies such as xml, xsl and both MathML and OpenMath make it possible to bring mathematics to the Internet. Indeed, OpenMath, a markup language for mathematical content, and OmDoc, its extension to mathematical documents, open a way of communicating mathematics between computers, between software applications and over the Internet without losing information. In this paper we describe ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014